Natural deduction system
[计] 自然演绎系统
🧩 词语组成解析
natural
['nætʃrəl]
adj. 自然的;物质的;天生的;不做作的;
n. 自然的事情;（生来的）白痴;[乐]（风琴等的）白键;
natur=nature自然+al...的 →自然（界）的
deduction
[dɪ'dʌkʃən]
n. 推演，推理，演绎;（推理所得出的）结论;扣除，减除;扣除的量;
duc,duct =lead,bring,表示”引导,带来”#词根助记：de向下+duce引→向下引→推论
🗣️ 情景例句
What's the problem, Richard?
有什么问题吗 Richard
We are looking forward to seeing you again.
我们非常盼望再见到你。
It seems all right.
看来这没问题。